kernel/boot/printf.o: kernel/boot/printf.c kernel/boot/printf.h \
 kernel/boot/../../include/types.h kernel/boot/console.h \
 /opt/riscv/lib/gcc/riscv64-unknown-elf/12.2.0/include/stdarg.h
